رویکردی جهانی به ناتمامیت، نقاط ثابت و پارادکس های خودارجاعی

پارادکس یابلو و قضایای ناتمامیت ریاضی

پارادُکس یابلو از چالش برانگیزترین مباحثی است که اخیراً مورد نقد و بررسی فیلسوفان، ریاضی دانان و حتی دانشمندان علوم کامپیوتر قرار گرفته است. در این پارادکس با معرفی یک سری بی پایان از جملاتی که خود-متناقض نیستند، ولی از وجود این بی نهایت جمله تناقض نتیجه می شود، ظاهراً از دور و تسلسل دوری می گردد. در حقیقت هر جمله از دنباله یابلو بیان می کند که تمامی جملات پس از او همگی نادرستند. می توان دید که و...

نظریه معناشناسی نقاط ثابت کریپکی

نگاشت های نگهدارنده نقاط ثابت

در این مقاله نگاشت­های خطی تعریف شده روی جبر همه عملگرهای خطی کران­دار مطالعه می­شوند. در واقع فرم چنین نگاشت­هایی که از دو جهت حافظ نقطه ثابت صفر عملگر باشند بدست می­آیند. همچنین، نگاشت­های خطی روی فضای ماتریس­ها با درایه­های از یک میدان با مشخصه مخالف 2 را در نظر گرفته و در صورتی که حافظ نقاط ثابت ماتریس­ها باشند فرم آن­ها نیز به دست می­آیند.

مقایسه تأثیر وضعیت طاق باز و دمر بر وضعیت تنفسی نوزادان نارس مبتلا به سندرم دیسترس تنفسی حاد تحت درمان با پروتکل Insure

کچ ی هد پ ی ش مز ی هن ه و فد : ساسا د مردنس رد نامرد ي سفنت سرتس ي ظنت نادازون داح ي سکا لدابت م ي و نژ د ي سکا ي د هدوب نبرک تسا طسوت هک کبس اـه ي ناـمرد ي فلتخم ي هلمجزا لکتورپ INSURE ماجنا م ي دوش ا اذل . ي هعلاطم ن فدهاب اقم ي هس عضو ي ت اه ي ندب ي عضو رب رمد و زاب قاط ي سفنت ت ي هـب لاتـبم سراـن نادازون ردنس د م ي سفنت سرتس ي لکتورپ اب نامرد تحت داح INSURE ماجنا درگ ...

نظریه معناشناسی نقاط ثابت کریپکی

صدق و پارادکس دروغگو